<HTML><HEAD><TITLE>#(?Min, ?Cstrs, ?Max)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(fd)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>#(?Min, ?Cstrs, ?Max)</H1>
The cardinality operator
<DL>
<DT><EM>Min</EM></DT>
<DD>Integer or domain variable
</DD>
<DT><EM>Cstrs</EM></DT>
<DD>A list of constraint expressions
</DD>
<DT><EM>Max</EM></DT>
<DD>Integer or domain variable
</DD>
</DL>
<H2>Description</H2>

	This is a meta constraint known in the literature as the
	cardinality operator.  CstList is a list of constraint
	expressions and this operator states that at least Min and at
	most Max out of them are valid. 
    
<H2>See Also</H2>
<A HREF="../../lib/fd/HFR-3.html">#/\ / 3</A>, <A HREF="../../lib/fd/isd-2.html">isd / 2</A>
</BODY></HTML>
